Module isotope::ctx::eq[][src]

Expand description

Contexts for equality-checking terms

Structs

DisjointSetCtx

A standard context for hash-consing and equality checking

Structural

Structural comparison

Typed

Typed value comparison

Untyped

Untyped value comparison

Traits

TermEqCtx

A type which may be used as a context for checking isotope terms for equality

TermEqCtxEdit

A type which may be used as an editable context for checking isotope terms for equality

TermEqCtxMut

A type which may be used as a mutable context for checking isotope terms for equality